LAURA, A System to Debug Student Programs

Model Based Diagnosis in ITS for Programming with Pedagogical Patterns

It is not easy for a student to develop programming skills and learn how to construct their own problem solving algorithms. Well designed materials and tools can guide programming students knowledge and skill construction. Such tools may allow students to acquire better and faster the necessary programming skills. In this paper we show the results of some experiments realized on a set of faulty...

Health Management Mentoring for Health Systems Strengthening: A Response to Recent Commentaries

Reasoning About DrScheme Programs in ACL2

Beginning programmers need to learn more than the syntax of programming languages. They also need to learn how to reason about the programs they write. Thus we believe that beginners will benefit from tools that help them understand their programs, just as they already benefit from IDEs that help them to build and debug their programs. This paper describes a project aimed at automating some of ...

Automated Debugging of Logic Programs via Theory Revision

This paper presents results on using a theory revision system to automatically debug logic programs. Forte is a recently developed system for revising function-free Horn-clause theories. Given a theory and a set of training examples, it performs a hillclimbing search in an attempt to minimally modify the theory to correctly classify all of the examples. Forte makes use of methods from propositi...

Gender Differences in End-User Debugging Strategies

Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. Without this type of information, end-user programming systems cannot know the ―target‖ at which to aim, if they are to support male and female end-user programmers’ debugging. In this paper, we present a study investigati...